Online version
Referenced in SAT
ML conference repo
rt
[10]